Search results

sat-solver

This is a simple SAT solver with a string based interface, built for easy access. It tries to parse many different commenly used syntaxes into a AST and then solves the problem, returning one or all solutions. You may also only use the AST and provide a s

• sat
• solver
• allsat
• all
• solutions
• find
• boolean
• syntax agnostic
• multi syntax
• multiple syntax
• sat parser
• parse
• ast
• sat ast

zzrv

published 1.0.3 • 8 months agopublished 1.0.3 8 months ago

dimacs

DIMACS parser in Peg.JS for Javascript and Typescript

• dimacs
• peg
• jest
• integer
• programming
• constraint
• smt
• sat
• stonecypher

stonecypher

published 1.0.1 • 2 years agopublished 1.0.1 2 years ago